Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
41	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic
42	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
43	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
44	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
45	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logic programming Formal languages Logical syntax Well-formed formula Autoepistemic logic Logical connective Modal depth Propositional variable First-order logic Logic Mathematical logic Modal logic
46	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Logical connective FO First-order logic Propositional variable Logic Mathematical logic Propositional calculus
47	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Formal languages Logical syntax Boolean algebra Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
48	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Model theory Logical syntax Formal languages Metalogic Well-formed formula Logical connective FO First-order logic Propositional formula Logic Mathematical logic Mathematics
49	Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-07-03 23:15:04 Applied mathematics Resolution True quantified Boolean formula Propositional variable Unit propagation Satz DPLL algorithm Boolean satisfiability problem Theoretical computer science Automated theorem proving Mathematics
50	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus